/**
 * Copyright 2020 The XLS Authors
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *      http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

body {
  height: 100vh;
  overflow: auto;
}
#ir-source-text {
  font-family: monospace;
  height: 60vh;
  border: 1px solid #dee2e6;
  /* Fill the full width of the enclosing div. */
  width: 100%;
  /* Line break at newlines and where necessary with long lines. */
  white-space: pre-wrap;
  /* Clip and add scroll bars if the IR text  doesn't fit. */
  overflow: auto;
  padding: 10px;
  cursor: text;
  margin-top: 10px;
}

#node-metadata {
  font-family: monospace;
  font-size: large;
  width: 100%;
  /* Use font-relative vertical size as the metadata is a fixed number of text
     lines when no text-wrapping occurs. Give a little extra space so there's
     room for scrollbars. */
  height: 8.5em;
  border: 1px solid #dee2e6;
  /* Don't wrap text so that we can always see all the metadata. */
  white-space-collapse: preserve-breaks;
  text-wrap: nowrap;
  overflow: auto;
  cursor: text;
}
#bottom-pane {
  padding: 5px;
}
#bottom-pane button {
  margin-right: 5px;
}
#ir pre {
  white-space: pre-wrap;
}
#source-status.alert-danger {
  font-family: monospace;
}
#graph {
  height: 75vh;
  margin-top: 5px;
  margin-bottom: 0px;
}

.ir-function-identifier {
  font-weight: bold;
}
.ir-function-identifier:hover {
  cursor: pointer;
  color: black;
  text-decoration: underline;
}
.ir-node-identifier {
  font-weight: bold;
}
.ir-node-identifier-highlighted {
  background-color: skyblue;
}
.ir-node-identifier-selected {
  border: 2px solid blue
}
.ir-function-selected {
  color: black;
}
.ir-function-unselected {
  color: silver;
}
